Issue2788.agda:8,1-28
Missing option --cubical
when checking the pragma BUILTIN EQUIV Equiv
